Buy Used and New Henk Barendregt Books

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science)

by Tobias Nipkow,Henk Barendregt

ISBN 13: 9783540580850

Format: Paperback (404 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later